A UNIX system implementation for system/370FELTON, W. A; MILLER, G. L; MILNER, J. M et al.AT&T Bell Laboratories technical journal. 1984, Vol 63, Num 8, pp 1751-1767, 2Article

A connotational theory of program structureROYER, J. S.Lecture notes in computer science. 1987, Vol 273, issn 0302-9743, V-186 pSerial Issue

Prozessgerechter Entwurf von Monitoren in Echtzeitbetriebssystemen = La conception (considérant le procédé) des moniteurs de systèmes d'exploitation = Process-considering design of real time operating systems monitorsHRUZ, B.Elektronische Rechenanlagen. 1984, Vol 26, Num 1, pp 31-38, issn 0013-5720Article

A systematic approach to language constructs for concurrent programsBROY, M; BAUER, F. L.Science of computer programming. 1984, Vol 4, Num 2, pp 103-139, issn 0167-6423Article

An examination of the resolution of structure clashes by structure inversionSTUBBS, M.Computer journal (Print). 1984, Vol 27, Num 4, pp 354-361, issn 0010-4620Article

Efficacité du test de la structure des modules de programmesBLAU, S. A; LIPAEV, V. V; POZIN, B. A et al.Avtomatika i telemehanika. 1984, Num 4, pp 139-148, issn 0005-2310Article

Nontrival definability by flow-chart programsURZYCZYN, P.Information and control. 1983, Vol 58, Num 1-3, pp 59-87, issn 0019-9958Article

Procédures binaires ajustables et programmes cycliquesARTYUKHOV, V. L; KUZNETSOV, B. P; SHALYTO, A. A et al.Avtomatika i telemehanika. 1984, Num 11, pp 112-119, issn 0005-2310Article

A complexity measure derivation method based on analysis of complexity factors in program structureTAKAHASHI, M; NAGASE, A; KURODA, K et al.Review of the electrical communication laboratories. 1984, Vol 32, Num 1, pp 41-48, issn 0029-067XArticle

On the distribution of statements in PASCALprogramsSCHROEDER, A.Rapports techniques ― I.N.R.I.A. 1984, Num 39, issn 0249-0803, 14 p.Serial Issue

Horizontal Composability RevisitedSANNELLA, Donald; TARLECKI, Andrzej.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 296-316, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 21 p.Book Chapter

Object-oriented programming : Regaining the excitementBLACK, A. P.Lecture notes in computer science. 1999, pp 519-528, issn 0302-9743, isbn 3-540-66156-5Conference Paper

An introduction to a formal theory of dependence analysisUTPAL BANERJEE.Journal of supercomputing. 1988, Vol 2, Num 2, pp 133-149, issn 0920-8542Article

Structures des systèmes de calcul très performants et leurs relations avec les structures d'algorithmes et de programmesGOLOVKIN, B. A.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 5, pp 194-229, issn 0002-3388Article

Program development by inductive stepwise refinementDROMEY, R. G.Software, practice & experience. 1985, Vol 15, Num 1, pp 1-28, issn 0038-0644Article

Structure du logiciel des périphériques programmés de signalisation du système MT 20/25 = Structure of programmed peripheral software of MT 20/25 system signallingRAVEL, F.1984, 39 p.Report

Region-based partial dead code elimination on predicated codeQIONG CAI; LIN GAO; JINGLING XUE et al.Lecture notes in computer science. 2004, pp 150-166, issn 0302-9743, isbn 3-540-21297-3, 17 p.Conference Paper

CrocoCosmosLEWERENTZ, Claus; SIMON, Frank; STEINBRÜCKNER, Frank et al.Lecture notes in computer science. 2002, pp 446-447, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Some empirical observations on program behavior with applications to program restructuringPEACHEY, J. B; BUNT, R. B; COLBOURN, C. J et al.IEEE transactions on software engineering. 1985, Vol 11, Num 2, pp 188-193, issn 0098-5589Article

Specification statements and refinementMORGAN, C; ROBINSON, K.IBM journal of research and development. 1987, Vol 31, Num 5, pp 546-555, issn 0018-8646Article

Subtypes and quantification. ReplyVOLPANO, D. M; BURTON, F. W.ACM transactions on programming languages and systems. 1991, Vol 13, Num 4, pp 631-633, issn 0164-0925Article

Tree schemata and fair terminationMAUBORGNE, L.Lecture notes in computer science. 2000, pp 302-321, issn 0302-9743, isbn 3-540-67668-6Conference Paper

Interprocedural path profilingMELSKI, D; REPS, T.Lecture notes in computer science. 1999, pp 47-62, issn 0302-9743, isbn 3-540-65717-7Conference Paper

A step towards a methodology for mercury program construction : A declarative semantics for mercuryBALDAN, D; LE CHARLIER, B; LECLERE, C et al.Lecture notes in computer science. 1999, pp 21-40, issn 0302-9743, isbn 3-540-65765-7Conference Paper

An object-oriented effects systemGREENHOUSE, A; BOYLAND, J.Lecture notes in computer science. 1999, pp 205-229, issn 0302-9743, isbn 3-540-66156-5Conference Paper